Design by contract

Results: 233



#Item
21Legal documents / Contract law / Information Services Procurement Library / Information technology management / Method engineering / Contract / Hyperlink / Design by contract / Government procurement in the United States

ACTIVE CONTRACT DETAILS HELP GUIDE The Active Contract Details report is maintained by the Office of Construction, and is updated daily to display any construction contract that is currently in an active status or has be

Add to Reading List

Source URL: www2.dot.state.fl.us

Language: English - Date: 2015-12-11 10:20:40
22Contract law / Law / Intellectual property law / Private law / Common law / Terms of service / Trademark / Intellectual property / Privacy / Internet privacy / Copyright infringement / Contract

TERMS AND CONDITIONS The following terms and conditions govern all use of the Calso.co website and all content and services available at or through the website. The Website is owned and operated by Calso Community, Inc.

Add to Reading List

Source URL: files7.design-editor.com

Language: English - Date: 2016-06-01 18:41:19
23Software testing / Object-oriented programming / Integrated development environments / Compilers / EiffelStudio / Extreme programming / Random testing / Eiffel / Software bug / Unit testing / Computer programming / Design by contract

Automated Program Repair in an Integrated Development Environment Yu Pei, Carlo A. Furia, Martin Nordio, Bertrand Meyer Chair of Software Engineering, Department of Computer Science, ETH Zurich, Switzerland Email: first

Add to Reading List

Source URL: se.inf.ethz.ch

Language: English - Date: 2015-02-17 06:56:50
24Contract law / Legal documents / Supply chain management / Procurement / Manufacturing / Design by contract / Contractual term / Force majeure / Guarantee / Contract / Purchasing

GENERAL PURCHASE CONDITIONS 1 – APPLICABILITY 1.1 Unless otherwise expressly agreed by the parties in writing, these General Purchase Conditions are applicable to all enquiries and offers by third parties (hereinafter:

Add to Reading List

Source URL: www.mojo.nl

Language: English - Date: 2016-04-16 13:28:15
25Contract law / Real estate / Business / Construction / Construction (Design and Management) Regulations / Subcontractor / Time and materials / General contractor / Contractor / Invoice / Contract / Guarantee

TERMS AND CONDITIONS OF CONTRACT Applicable to all Work carried out by Bowles and Wyer Ltd (the Contractor) for clients who engage their services (the Client). 1. INTERPRETATION, APPLICATION AND COMMENCEMENT 1.1 The def

Add to Reading List

Source URL: www.bowleswyer.co.uk

Language: English
26Unified Modeling Language / ISO standards / Object Constraint Language / ECO / Object Process Methodology / Object diagram / Class diagram / Postcondition / Design by contract / Sequence diagram / Conceptual model

Transformation of UML and OCL Models into Filmstrip Models? Frank Hilken, Lars Hamann, and Martin Gogolla University of Bremen {fhilken,lhamann,gogolla}@informatik.uni-bremen.de

Add to Reading List

Source URL: www.db.informatik.uni-bremen.de

Language: English - Date: 2014-12-03 03:38:11
27Object-oriented programming / TinyOS / NesC / Component-based software engineering / Wireless sensor network / Objective-C / Interface / Design by contract / Kernel / Software engineering / Computing / Computer programming

Interface Contracts for TinyOS Will Archer Philip Levis John Regehr

Add to Reading List

Source URL: www.cs.utah.edu

Language: English - Date: 2007-03-29 17:34:28
28

Mortgage Contract Design: Implications for Households, Monetary Policy and Financial Stability May 20-21, 2015 A conference sponsored by the Federal Reserve Bank of New York in association with the NYU Stern School of Bu

Add to Reading List

Source URL: www.newyorkfed.org

Language: English - Date: 2015-06-05 10:16:45
    29

    Elehost Web Hosting Contract Agreement Preamble: 1. Elehost Web Design Inc. is formally contracted by The Customer to host the Customer’s web site on the Internet at a rate specified on sign up in Canadian funds plus a

    Add to Reading List

    Source URL: www.elehost.com

    Language: English - Date: 2009-01-23 12:42:06
      30Contract law / Functional languages / Compiling tools / Parser generators / Compiler construction / Racket / Lexical analysis / Lex / Design by contract / Software engineering / Computing / Software

      tifact Abstract Many languages support behavioral software contracts so

      Add to Reading List

      Source URL: www.eecs.northwestern.edu

      Language: English - Date: 2013-08-10 19:31:40
      UPDATE